ar X iv : m at h / 99 04 11 7 v 1 [ m at h . D G ] 2 1 A pr 1 99 9 ASSIGNMENTS AND ABSTRACT MOMENT MAPS
نویسنده
چکیده
Abstract moment maps arise as a generalization of genuine moment maps on symplectic manifolds when the symplectic structure is discarded, but the relation between the mapping and the action is kept. Particular examples of abstract moment maps had been used in Hamiltonian mechanics for some time, but the abstract notion originated in the study of cobordisms of Hamiltonian group actions. In this paper we answer the question of existence of a (proper) abstract moment map for a torus action and give a necessary and sufficient condition for an abstract moment map to be associated with a pre-symplectic form. This is done by using the notion of an assignment, which is a combinatorial counterpart of an abstract moment map. Finally, we show that the space of assignments fits as the zeroth cohomology in a series of certain cohomology spaces associated with a torus action on a manifold. We study the resulting “assignment cohomology” theory.
منابع مشابه
ar X iv : m at h / 99 04 11 7 v 2 [ m at h . D G ] 2 2 A pr 1 99 9 ASSIGNMENTS AND ABSTRACT MOMENT MAPS
Abstract moment maps arise as a generalization of genuine moment maps on symplectic manifolds when the symplectic structure is discarded, but the relation between the mapping and the action is kept. Particular examples of abstract moment maps had been used in Hamiltonian mechanics for some time, but the abstract notion originated in the study of cobordisms of Hamiltonian group actions. In this ...
متن کاملar X iv : m at h / 99 04 11 7 v 3 [ m at h . D G ] 2 3 A pr 1 99 9 ASSIGNMENTS AND ABSTRACT MOMENT MAPS
Abstract moment maps arise as a generalization of genuine moment maps on symplectic manifolds when the symplectic structure is discarded, but the relation between the mapping and the action is kept. Particular examples of abstract moment maps had been used in Hamiltonian mechanics for some time, but the abstract notion originated in the study of cobordisms of Hamiltonian group actions. In this ...
متن کاملEecient and Precise Sharing Domains for Logic Programs
interpretation [8, 9] formalizes program analysis as approximate computation. Instead of executing a program with data, it is executed with descriptions of the data. In our case, this means that logic programs are executed with abstract substitutions instead of concrete substitutions. Concrete and abstract substitutions are related by a description relation. To every operation on the concrete s...
متن کاملDocteur De L’école Polytechnique En Informatique
operators To verify Aμ-formulas, we need to abstract the operators. For each p in Π, let π(p) be an element of P ] such that π(p) ⊆ γ(π(p)), and π(p) an element of P ] such that Σ\π(p) ⊆ γ(π(p)). For each subset I of P, we define the abstract controllable predecessor relation CPre]I ∈ P ] → P ] and the abstract uncontrollable predecessor relation UPre ] I ∈ P ] → P . These relations must satisf...
متن کاملReachability Analysis of Hybrid Systems via Predicate Abstraction
Predicate abstraction has emerged to be a powerful technique for extracting finite-state models from infinitestate discrete programs. This paper presents algorithms and tools for reachability analysis of hybrid systems by combining the notion of predicate abstraction with recent techniques for approximating the set of reachable states of linear systems using polyhedra. Given a hybrid system and...
متن کامل